generalize: vt.1.使一般化。2.概括,综合;归纳。3.【美术】强调…的基本特征[一般性]。4.推广,普及。短语和例子generalize the use of video 普及电视。 generalize a conclusion from a collection of facts 从一大堆事实中归纳出结论。vi.形成概念,笼统地表达;延及全身。
Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set 接着给出广义调解的有效性证明,然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。